#include<cstdio>
int main(void)
{
	int a = 40000 * 30000;
	printf("%d\n", a);
	return 0;
}
